An approach to dynamic program slicing based on modular monadic semantics 某框架结构厂房的减振加固动力分析
For software debugging , researches a method based on program slice technology 关于软件调试技术,主要研究了一种基于程序切片技术的调试方法。
A dynamic program slice is obtained by recursively traversing the data and control dependence edges in the dynamic dependence graph of the program for the given test case [ 0 , 3 ] 对于给定的测试用例{ [ 0 . 3 ] ,动态程序片是通过以下方式获得的:递归遍历程序动态依赖图中的数据和控制依赖边
This paper mainly discusses the design and implementation of a program slicing system based on c - similar language ( later referred as csl ) : a language defined by myself and has described the design and implementation of a complete static program slicing system 本文以一种自定义的结构化语言-类c语言( c - similarlanguage ,简称csl )为例,描述了一个完整的静态程序分片系统的设计与实现过程。
Program slicing is an important technique to analyze and understand programs . a program slice s is composed of a set of statements in program p which can influence the value of a variables named v at a special program point n , in which ( n , v ) is named as slicing criterion 程序分片是一种重要的程序分析理解方法,用于从源程序中抽取对程序中特定点上的特定变量有影响的语句和控制条件,组成新的程序(称作分片) ,然后通过分析分片来分析源程序的行为。
In computer programming, program slicing is the computation of the set of programs statements, the program slice, that may affect the values at some point of interest, referred to as a slicing criterion. Program slicing can be used in debugging to locate source of errors more easily.